

void hrtimer_run_queues(void)
{

}
